/**
 * Android-specific operating system utilities.
 */
package de.fuberlin.replication.application.android.os;